English microprogram debugging: translation to other languages